1. A beginner's guide to R /
Author: by Alain F. Zuur, Elena N. Ieno, Erik H.W.G. Meesters.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: R (Computer program language),Science-- Statistical methods, Software.,Statistics-- Data processing, Software.,MATHEMATICS-- Probability & Statistics-- General.,R (Computer program language),R (Computer program language),Science-- Statistical methods.,Science-- Statistical methods.,Statistics-- Data processing.,Statistics-- Data processing.
Classification :
QA276
.
R3
Z88
2009
2. A beginner's guide to R /
Author: by Alain F. Zuur, Elena N. Ieno, Erik H.W.G. Meesters.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: R (Computer program language),Science-- Statistical methods, Software.,Statistics-- Data processing, Software.,MATHEMATICS-- Probability & Statistics-- General.,R (Computer program language),Science-- Statistical methods.,Statistics-- Data processing.
Classification :
QA276
.
45
.
R3
Z88
2009eb
3. An Introduction to Quantum Computing Algorithms
Author: by Arthur O. Pittenger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Mathematics.,Quantum theory.
4. Building Innovation Pipelines through Computer-Aided Innovation
Author: edited by Denis Cavallucci, Roland Guio, Gaetano Cascini.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Computer simulation.,Computer-aided design.,Engineering mathematics.,Software engineering.
5. Cellular automata and discrete complex systems :
Author: Jarkko Kari, Martin Kutrib, Andreas Malcher (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cellular automata, Congresses,Computer science-- Mathematics, Congresses,Software
Classification :
QA267
.
5
.
C45
6. Certified Programs and Proofs :
Author: edited by Chris Hawblitzel, Dale Miller.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.
Classification :
QA76
.
9
.
M35
E358
2012
7. Coalgebraic methods in computer science
Author: Dirk Pattinson, Lutz Schröder (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses,Computer software-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
W67
2012eb
8. Coalgebraic methods in computer science :
Author: Corina Cîrstea (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA76
.
9
.
M35
9. Collegium Logicum.
Author: Kurt Gödel Society.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Mathematics.
10. Combinatorial Algorithms
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mathematics. ; Data structures (Computer science). ; Application software. ; Computer communication systems. ; Computer graphics. ; Algorithms. ; Discrete Mathematics in Computer Science. ; -Computer science
11. Communication-Based Systems
Author: edited by Günter Hommel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Computer science.,Mathematics.,Software engineering.,Systems theory.
12. FME 2002 :
Author: Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
Classification :
QA76
.
76
.
D47
I593
2002
13. FME 2003 :
Author: Keijiro Araki, Stefania Gnesi, Dino Mandrioli
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
Classification :
QA76
.
76
.
D47
I593
2003
14. FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
Author: Keijiro Araki, Stefania Gnesi, Dino Mandrioli )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
Classification :
QA
76
.
L28
Vol
.
2805
15. FME 2002 : formal methods-getting it right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings
Author: Lars-Henrik Eriksson, Peter Alexander Lindsay )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
Classification :
QA
76
.
L28
Vol
.
2391
16. Facing the Multicore - Challenge II
Author: edited by Rainer Keller, David Kramer, Jan-Philipp Weiss
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer science-- Mathematics,Computer software,Computer vision,Electronic data processing,Engineering,Physics,Software engineering,Algorithm Analysis and Problem Complexity,Complexity,Computational Mathematics and Numerical Analysis,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Numeric Computing,Software Engineering/Programming and Operating Systems
17. Fields of Logic and Computation II
Author: \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering,نرمافزار,-- Congresses,-- کنگرهها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها
Classification :
QA
76
.
9
.
L63
F54
2015
E-Book
,
18. Foundations of algebraic specification and formal software development
Author: / D. (Donald) Sannella
Library: Campus International Library of Kish University of Tehran (Hormozgan)
Subject: Computer science--Mathematics.,Software engineering.,Computer software--Development.
Classification :
QA76
.
9
.
M35
S26
2012
19. Graph Colouring and the Probabilistic Method
Author: by Michael Molloy, Bruce Reed.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorics.,Computer science.,Computer software.,Distribution (Probability theory).,Information theory.,Mathematics.
20. Graph Drawing and Network Visualization :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mathematics. ; Data structures (Computer science). ; Software engineering. ; Algorithm Analysis and Problem Complexity. ; -Algorithms. ; Application software. ; Computer graphics. ; Computer science
